|
1050016
Infos complémentaires |
parentName_s |
Inria Saclay - Ile de FranceLaboratoire de Recherche en Informatique |
|
Formally Verified Programs, Certified Tools and Numerical Computations |
TOCCATA |
researchteam |
Université Paris-Saclay; Bâtiment 650 ; 91405 ORSAY CEDEX |
|
2020-01-01 |
2020-12-31 |
|